An Intensional Functional Model of Trust

essential properties of trust its dynamics context-dependence, calculation, evolution It should be possible to reason about trust across contexts to import trust model into a programming language to include trust model in designing trustworthy computing systems IFIP2008 – p. 5/18 Intension and Extension Intensional logic permits expressions whose value depends on hidden contexts. The real meaning of an expression whose truth-value depends on the context of its utterance is its intension (Carnap 1956) – representation level The extension of that expression is its actual truth-value in different possible contexts. – evaluation level Extension need not be finite. Real meaning of an expression is a function from Contexts to Values.